В избранное
Поиск в словарях
Искать во всех

Советский философский словарь - формализация

 
 

Связанные словари

1
2

Формализация

формализация
отображение результатов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. В математике и формальной логике, где Ф. наиболее развита, под Ф. обычно понимают отображение содержат. знания в знаковом формализме, или формализованном языке. Непременным условием для построения такого языка является использование аксиоматич. метода, благодаря к-рому удаётся получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом. Полная Ф. теории достигается лишь тогда, когда отвлекаются от содержат. смысла самих исходных понятий и аксиом теории и полностью перечисляют правила логич. вывода теорем из аксиом. Использование аксиоматич. метода в процессе Ф. обеспечивает такую систематизацию знания, при к-рой его отд. элементы не просто координируют друг с другом, а находятся в отношении субординации (см. Ф. Энгельс, в кн.: Маркс К. и Энгельс Ф., Соч., т. 20, с. 538). Поиски аксиом, из к-рых можно чисто логич. путём вывести следствия, или теоремы, составляют одну из важнейших задач Ф.

Ф. доказательства даёт возможность освободиться от обращения к интуитивным представлениям, что имеет решающее значение для строгости вывода. Представление доказательства в виде последовательности формул, каждая из к-рых является либо аксиомой, либо получается из аксиом по правилам вывода, превращает сам процесс проверки доказательства в чисто механич. процедуру и может быть передан вычислит. машине. Доказательство глубоко связано с вычислением, вместе с к-рым его можно представить как непосредственное (хотя и абстрактное) материальное созерцание (см. там же, с. 631).

Ф. играет существ. роль в анализе, уточнении и экспликации науч. понятий. Интуитивные понятия, хотя и кажутся более ясными с т. зр. обыденного сознания, однако в силу их неопределённости и неоднозначности они мало пригодны для науки. В науч. познании нередко нельзя не только разрешить, но даже сформулировать и поставить проблемы до тех пор, пока не будут разъяснены и уточнены относящиеся к ним понятия. Так, понятие алгоритма издавна применялось в математике, но только после того, как оно получило точное и строгое определение в 1930-х гг., стало возможным доказательство существования алгоритмически неразрешимых проблем.

Ф. неразрывно связана с построением искусственных, или формализованных, науч. языков. Такие языки создаются для точного выражения мыслей с целью исключить возможность неоднозначного понимания. Ф. даёт возможность строить науч. языки с точно установленной структурой и заданными правилами преобразования одних выражений в другие.

Полученные с помощью методов Ф. результаты имеют важное филос. значение прежде всего для решения проблемы соотношения формальных и содержат. компонентов в науч. познании. Исследования по разрешимости формализованных математич. теорий, начало к-рым положил Чёрч доказательством отсутствия разрешающей процедуры для узкого исчисления предикатов, подорвали веру в принципы чисто формального обоснования математики, выдвинутые Гильбертом. Еще более существ. значение имели результаты Гёделя о неполноте формализованной арифметики, теоремы Тарского о неформализуемости понятия истины в рамках формализмов и др. Эти исследования показали ограниченность неопозитивистской программы анализа науки, исходящей из примата формы над содержанием и сводящей все проблемы философии науки к анализу структуры науч. языка.

Диалектич. материализм рассматривает Ф. как средство выявления и уточнения содержания науч. знания. Подчёркивая обусловленность методов Ф. содержанием науч. знания, диалектико-материалистич. концепция признаёт значит. роль формы и формальных компонентов в раскрытии этого содержания. Вместе с тем никакая Ф. не может исчерпать всего богатства содержания, она способна лишь приближаться к этому пределу в бесконечном процессе науч. познания.

Советский философский словарь
Рейтинг статьи:
Комментарии:
Оставить комментарий

См. в других словарях

1.
формализация
  метод семиотического анализа объектов любой природы, направленный на выявление формы. Дескриптивная Ф. (прямое описание, обозначение, именование) объектов с помощью терминов является простейшим видом Ф., вариантом которой в естественных языках служат отдельные слова и выражения, а, например, в математике цифры и знаки различных математических операций. Цель дескриптивной Ф. компактность обозначения, большая точность и однозначность (отсутствие омонимии). Несмотря на простоту, дескриптивная Ф. является необходимым структурным компонентом научной Ф. Последняя характеризуется использованием формального языка, т. е. специальных символических средств (переменных, формул, правил преобразования и т. д.), позволяющих анализировать исследуемую предметную область в чисто синтаксических рамках, что обеспечивает более точное теоретическое выражение конкретных свойств и отношений. Особый интерес представляет такой вид научной Ф., как логическая Ф., обеспечивающая выражение общих взаимосвязей между понятиями, суждениями и умозаключениями. Любое знание обыденное или научное может оказаться объектом логической Ф., которая...
Философская энциклопедия
2.
формализация
  (от лат. forma вид, образ) отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов. Ф. уточняет содержание путем выявления его формы и может осуществляться с разной степенью полноты. Выражение мышления в естественном языке можно считать первым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием частично искусственных и искусственных языков. Логическая Ф. направлена на выявление и фиксацию логической формы выводов и доказательств. Полная Ф. теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логического вывода, используемые в доказательствах. Такая Ф. включает в себя три момента: 1) обозначение всех исходных, неопределяемых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил...
Словарь по логике
3.
формализация
  — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и формальной логике, где Ф. наиболее развита, под Ф. понимают реконструкцию содержательной научной теории в виде формализованного языка. Ф. исходит из того, что дано исчерпывающее описание дедуктивных взаимосвязей между положениями теории, осуществляемое чаще всего с помощью аксиоматического метода. Она предполагает, что выявлены и четко сформулированы все те логические средства, к-рые используются при выводе из исходных положений теории др. ее утверждений. Если же, наряду с аксиоматизацией и точным установлением логических средств, понятия и выражения научной теории заменяются нек-рыми символическими обозначениями, она превращается в формальную систему. Такая теория может рассматриваться как система материальных объектов определенного рода (символов), с к-рымн можно обращаться как с конкретными физическими объектами, а развертывание теории свести к манипулированию с этими объектами...
Философский энциклопедический словарь

Вопрос-ответ:

Что такое формализация
Значение слова формализация
Что означает формализация
Толкование слова формализация
Определение термина формализация
formalizaciya это

Похожие слова

Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины

© 2013-2024 www.вокабула.рф
Все права защищены
Контакты
Использование любых материалов, размещённых на сайте, разрешается при условии ссылки. При копировании материалов со страницы сайта www.вокабула.рф – обязательна прямая открытая для поисковых систем гиперссылка.